Hilbert's Incompleteness, Chaitin's Ω Number and Quantum Physics

نویسنده

  • Tien D Kieu
چکیده

To explore the limitation of a class of quantum algorithms originally proposed for the Hilbert’s tenth problem, we consider two further classes of mathematically nondecidable problems, those of a modified version of the Hilbert’s tenth problem and of the computation of the Chaitin’s Ω number, which is a representation of the Gödel’s Incompletness theorem. Some interesting connection to Quantum Field Theory is pointed out, but a direct generalisation of the quantum algorithms cannot satisfy, among others, the requirement of finite energy. Introduction Quantum physical processes have been considered for the purpose of computation for some time, and more recently some are proposed in [1] for certain class of mathematical noncomputables associated with the Hilbert’s tenth problem and, equivalently, the Turing halting problem [2]. There is, however, a hierarchy of noncomputable/undecidable problems [3] of which the Turing halting problem is at the lowest level. Another well-known nondecidable result is the Gödel’s Incompleteness Theorem about the incompatibility of consistency and completeness of Arithmetics, see [4] for a readable account. As the mathematical property of being Diophantine, which is at the heart of the Turing halting problem, is not a sufficient condition for that of being arithmetic [5], which concerns the Gödel’s, the quantum algorithm cited above has no direct consequence on the Gödel’s theorem. Notwithstanding this, in order to explore the limitation of our algorithm we consider two further classes of mathematically non-decidable problems. We find some connection between Quantum Field Theory and the Chaitin’s Ω number which intimately links to the Gödel’s theorem. Along the way we also consider a modified version of the Hilbert’s tenth ∗email: [email protected]

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Chaitin Ω Numbers , Solovay Machines , and Incompleteness

Computably enumerable (c.e.) reals can be coded by Chaitin machines through their halting probabilities. Tuning Solovay’s construction of a Chaitin universal machine for which ZFC (if arithmetically sound) cannot determine any single bit of the binary expansion of its halting probability, we show that every c.e. random real is the halting probability of a universal Chaitin machine for which ZFC...

متن کامل

02 19 7 v 4 1 3 M ay 2 00 4 From Heisenberg to Gödel via Chaitin

In mathematics you don't understand things. You just get used to them. Abstract In 1927 Heisenberg discovered that the " more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa ". Four years later Gödel showed that a finitely specified, consistent formal system which is large enough to include arithmetic is incomplete. As both results ...

متن کامل

02 19 7 v 6 1 1 Ju l 2 00 6 From Heisenberg to Gödel via Chaitin

In mathematics you don't understand things. You just get used to them. Abstract In 1927 Heisenberg discovered that the " more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa ". Four years later Gödel showed that a finitely specified, consistent formal system which is large enough to include arithmetic is incomplete. As both results ...

متن کامل

Epistemology as Information Theory: From Leibniz to Ω∗

In 1686 in his Discours de métaphysique, Leibniz points out that if an arbitrarily complex theory is permitted then the notion of “theory” becomes vacuous because there is always a theory. This idea is developed in the modern theory of algorithmic information, which deals with the size of computer programs and provides a new view of Gödel’s work on incompleteness and Turing’s work on uncomputab...

متن کامل

2 7 Ju n 20 05 Epistemology as Information Theory : From Leibniz to Ω ∗

In 1686 in his Discours de métaphysique, Leibniz points out that if an arbitrarily complex theory is permitted then the notion of “theory” becomes vacuous because there is always a theory. This idea is developed in the modern theory of algorithmic information, which deals with the size of computer programs and provides a new view of Gödel’s work on incompleteness and Turing’s work on uncomputab...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001